<?php 
/*
    random.class
*/

class random {
    public $r;
/* nextInt  */
    public function next_int () {
	$r = rand();
	return $r; 
    }

}

// test
/*
$t = new random();
echo $t->next_int();
*/
?>
